Nuprl Definition : decidable 9,38
Dec(P) == P  (P) 
latex

DefinitionsP  Q, A
FDL editor aliasesdecidable

origin